Abstract derivations, equational logic and interpolation
نویسنده
چکیده
derivations, equational logic and interpolation Gerard R. Renardel de Lavalette Department of Mathematics and Computing Science University of Groningen, the Netherlands Abstract. We define abstract derivations for equational logic and use them to prove the interpolation property. We define abstract derivations for equational logic and use them to prove the interpolation property.
منابع مشابه
Abstract Derivations, Equational Logic and Interpolation (extended Abstract)
derivations, equational logic and interpolation (extended abstract) Gerard R. Renardel de Lavalette Department of Mathematics and Computing Science University of Groningen, the Netherlands Abstract. We define abstract derivations for equational logic and use them to prove the interpolation property. We define abstract derivations for equational logic and use them to prove the interpolation prop...
متن کاملInterpolation in equational logic via abstract derivations
We define abstract derivations for equational logic and use them to prove the interpolation property.
متن کاملUnification Modulo an Equality Theory for Equational Logic Programming
Equational logic programming is an extended programming paradigm of equational programming. Central to the notion of equational logic programming is the problem of solving equations, which is also called unification in equational theories. In this paper, we investigate the problem of solving equations in O’Donnell’s equational language. We define an equality theory for this language which adequ...
متن کاملOn the mathematical synthesis of equational logics
Birkhoff [1935] initiated the general study of algebraic structure. Importantly for our concerns here, his development was from (universal) algebra to (equational) logic. Birkhoff’s starting point was the informal conception of algebra based on familiar concrete examples. Abstracting from these, he introduced the concepts of signature and equational presentation, and thereby formalised what is ...
متن کاملOn Equational
Generalizations of Craig interpolation are investigated for equational logic. Our approach is to do as much as possible at a categorical level, before drawing out the concrete implications.
متن کامل